| class BUCKET{E} < $BUCKET{E,BUCKET{E}} |
|---|
| **** | Mainly this class adds an item to NEXT and gives some handy constructors. |
| $BUCKET{_,_} | $NEXT{_} | NEXT{_} |
| attr item: E; |
|---|
| attr next:T; .. Included as next |
|---|
| **** | Pointer to next element in list, if any. |
| attr item: E; |
|---|
| attr next:T; .. Included as next |
|---|
| **** | Pointer to next element in list, if any. |
| append(l:T) .. Included as append |
|---|
| **** | Append the list `l' to the end of the list self. self may not be void but `l' may be. |
| copy_list: SAME |
|---|
| **** | Returns a copy of self and all following links. The objects will not be 'copy'ed. Self may be void. |
| create(e:E): SAME |
|---|
| **** | Create a link containing e. |
| create(e:E,n:SAME): SAME |
|---|
| **** | Create a link containig e and prepending the link n. n may be void. |
| insert(e:T) .. Included as insert |
|---|
| **** | Insert the single element `e' after self. Neither may be void, `e.next' must be void. |
| size:INT .. Included as size |
|---|
| **** | The number of elements in the list starting with self. Self may be void. |
| list!: SAME |
|---|
| **** | Yields all subsequent elements in the list. |